]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d36e435) | patch
panelMenu: Close menu when hiding the corresponding button
authorFlorian Müllner <fmuellner@gnome.org>
Wed, 3 Jul 2013 13:55:35 +0000 (15:55 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Thu, 11 Jul 2013 15:14:02 +0000 (17:14 +0200)
commitdabcd29fb6583746425f7ee1ce7c06adcb9ff421
tree88659c03627f1f937f331f691c293c8d82355e66tree | snapshot
parentd36e435801c19011dff7635ca1df5bd16d67681bcommit | diff
panelMenu: Close menu when hiding the corresponding button

A PanelMenuButton added to the top bar might not be visible at all
times. If it is hidden while the corresponding menu is open, we
currently don't do anything at all, e.g. the menu remains open
pointing to an arbitrary location in the top bar.
Instead, close the menu automatically in that case.

https://bugzilla.gnome.org/show_bug.cgi?id=703540
js/ui/panelMenu.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.